#bin/bash
echo "minimizing $1 ..."
echo "(output=$1.min.cnf)"
cd ../../
./test/generator/mtcnfdd -T 4 "$1" "$1.min.cnf" "java -cp bin at.tasat.util.ReferenceComparer"
cd test/generator
